Fix previous change.
authorGlenn Morris <rgm@gnu.org>
Fri, 11 Mar 2011 09:07:33 +0000 (01:07 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 11 Mar 2011 09:07:33 +0000 (01:07 -0800)
commit2193c5c79ecdb1216e86a62a9992db01c6aa9b57
tree6c934c6c51352afc205643db05a51ed392c1fa8c
parent62ccebe574a65604eec17ba48c0f4a79dff14ece
Fix previous change.
doc/misc/Makefile.in